Partial logics with two kinds of negation as a foundation for knowledge - based reasoning

REPORTRAPPORT Partial logics with two kinds of negation as a foundation for knowledge-based reasoning Abstract We show how to use model classes of partial logic to deene semantics of general knowledge-based reasoning. Its essential beneet is that partial logics allow us to distinguish two sorts of negative information: the absence of information and the explicit rejection or falsiication of information. Another general advantage of partial logic, which we discuss in the rst part, is that its meta-theory is very close to the meta-theory of classical logic. In the second part notions of minimal, paraminimal and stable models are presented in terms of partial logic and we show how the resulting deenitions can be used to deene the semantics of knowledge bases such as relational and deductive databases, and extended logic programs.